Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
151	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
152	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic
153	Chapter 1: Origin of Computer Science Quotation from Preface Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Logical consequence Semantics Predicate logic Propositional calculus Mathematical proof Algorithm Mereology Negation Continuum hypothesis Logic Mathematics Mathematical logic
154	Chapter 1: Origin of Computer Science Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Boolean algebra Semantics Mathematical logic Logical connectives Mathematical proof Truth table Negation Equals sign Mathematics Propositional calculus Logic
155	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
156	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
157	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
158	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
159	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
160	[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 09:59:08 Proof theory Propositional calculus Deduction Boolean algebra Algebraic logic Natural deduction Heyting algebra Sequent calculus Negation Logic Mathematical logic Mathematics